1
Logique pour l'informatique et pour l'intelligence artificielle

Logique pour l'informatique et pour l'intelligence artificielle

Ricardo Caferra
წელი:
2010
ენა:
french
ფაილი:
PDF, 6.21 MB
5.0 / 0
french, 2010
2
Logic for Computer Science and Artificial Intelligence

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra
წელი:
2011
ენა:
english
ფაილი:
PDF, 5.32 MB
0 / 0
english, 2011
3
Logique pour l'informatique et pour l'intelligence artificielle

Logique pour l'informatique et pour l'intelligence artificielle

Ricardo Caferra
წელი:
2010
ენა:
french
ფაილი:
DJVU, 3.41 MB
5.0 / 0
french, 2010
4
Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.)
წელი:
2000
ენა:
english
ფაილი:
PDF, 2.75 MB
0 / 0
english, 2000
5
Logic for computer science and artificial intelligence

Logic for computer science and artificial intelligence

Caferra, Ricardo
წელი:
2011
ენა:
english
ფაილი:
PDF, 4.25 MB
0 / 0
english, 2011
6
Logic for Computer Science and Artificial Intelligence

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra(auth.)
წელი:
2013
ენა:
english
ფაილი:
PDF, 9.65 MB
0 / 0
english, 2013
7
Logic for computer science and artificial intelligence

Logic for computer science and artificial intelligence

Caferra, Ricardo
წელი:
2011
ენა:
english
ფაილი:
PDF, 5.12 MB
0 / 0
english, 2011
8
Automated Model Building

Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicholas Peltier
წელი:
2004
ენა:
english
ფაილი:
PDF, 1.63 MB
0 / 0
english, 2004
9
Automated deduction in classical and non-classical logics: selected papers

Automated deduction in classical and non-classical logics: selected papers

Ricardo Caferra, Gernot Salzer
წელი:
2000
ენა:
english
ფაილი:
PDF, 2.33 MB
0 / 0
english, 2000